Delta-Oriented FSM-Based Testing
نویسندگان
چکیده
We use the concept of delta-oriented programming to organize FSM-based test models in an incremental structure. We then exploit incremental FSM-based testing to make efficient use of this high-level structure in generating test cases. We show how our approach can lead to more efficient test-case generation, both by analyzing the complexity of the test-case generation algorithm and by applying the technique to a case study.
منابع مشابه
A Buffer-Oriented Methodology for Microarchitecture Validation
We propose a methodology for validating microarchitecture specifications. We view microarchitecture features as specific operations on entries of various buffers in the processor. Our validation approach is to determine the functionality of a buffer type, model its operations at the microarchitecture level using abstract finite state machine (FSM) models, and rigorously generate instruction seq...
متن کاملTesting of Object-Oriented Programs Based on Finite State Machines - Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
In object-oriented testing literature, a class is considered to be a basic w i t of testing. A m,ajor characteristic of classes is the interaction between data m.cm<bers and mem,ber functionw. This interaction is representcd as dejhitions and uses of data members in member functions and can be properly modeled with f i ~ i , i t ~ state machines (FSM). I n this paper, we discuss how FSMs cun be...
متن کاملValidated Test Models for Software Product Lines: Featured Finite State Machines
Variants of the finite state machine (FSM) model have been extensively used to describe the behaviour of reactive systems. In particular, several model-based testing techniques have been developed to support test case generation and test case executions from FSMs. Most such techniques require several validation properties to hold for the underlying test models. In this paper, we propose an exte...
متن کاملSynchronizable Test Sequences of Finite State Machines
The finite state machine (FSM) model is commonly used for specifying communication protocols and other types of distributed systems. With the use of multiple testers for an FSM, the synchronization between inputs from different testers becomes a problem. A synchronizable test sequence of an FSM is a test sequence for which the synchronization problem either does not exist or can be solved by co...
متن کاملDetecting faults in TFTP implementations using Finite State Machines with timeouts
In this paper, we consider a test derivation strategy for testing protocol implementations based on Finite State Machines with timeouts. The strategy is applied for testing TFTP implementations. Keywords-Finete State Machine (FSM); FSM with timeouts (timed FSM); transition tour
متن کامل